package SPA;

import Lexical.Token;

/**
 * DFA State Transition
 */
public class StateTransition extends Transition
{
	private Token tk;
	
	public StateTransition (Token tk, DFAState nextState, String semanticActionName)
	{
		super (nextState, semanticActionName);
		this.setToken(tk);
	}

	public void setToken(Token tk) {
		this.tk = tk;
	}

	public Token getToken() {
		return tk;
	}
	
	public String toString()
	{
		return "StateTransition(" + this.getToken() + ", " + this.getNextState() + ") & SemanticAction: " + this.getSemanticActionName();
	}
}
